منابع مشابه
Roadmap for preferential logics
4 Preferential structures 28 4.1 General and smooth preferential structures . . . . . . . . . . . . . . . . . 28 4.1.1 Definitions and basics . . . . . . . . . . . . . . . . . . . . . . . . . 28 4.1.2 Representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 [email protected], www.dcs.kcl.ac.uk/staff/dg Department of Computer Science, King’s College London, Strand, London WC2...
متن کاملA ug 2 00 8 Roadmap for preferential logics
4 Preferential structures 28 4.1 General and smooth preferential structures . . . . . . . . . . . . . . . . . 28 4.1.1 Definitions and basics . . . . . . . . . . . . . . . . . . . . . . . . . 28 4.1.2 Representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 [email protected], www.dcs.kcl.ac.uk/staff/dg Department of Computer Science, King’s College London, Strand, London WC2...
متن کاملPreferential Reasoning for Modal Logics
Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as developed by Lehmann and colleagues would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accep...
متن کاملPreferential Description Logics
We extend the Description Logic ALC with a “typicality” operator T that allows us to reason about the prototypical properties and inheritance with exceptions. The resulting logic is called ALC +T. The typicality operator is intended to select the “most normal” or “most typical” instances of a concept. In our framework, knowledge bases may then contain, in addition to ordinary ABoxes and TBoxes,...
متن کاملSemantic Foundation for Preferential Description Logics
Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence. Enriching description logics with non-monotonic reasoning capabilities, especially preferential reasoning as developed by Lehmann and colleagues in the 90’s, would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accept...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Non-Classical Logics
سال: 2009
ISSN: 1166-3081,1958-5780
DOI: 10.3166/jancl.19.43-95